overDefActor is package{

  plus(X) is X+X;
  
  f(X) is let{
    A is actor{
      pl is plus(X);
    }
  } in (query A's pl with pl);
  
  main() do {
    assert f(2)=4;
  }
}    